1. Diagonalization and self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
2. Diagonalization and self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
3. Diagonalization and self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: (طهران)
موضوع: Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
4. Diagonalization & self-reference
المؤلف: Smullyan, Raymond M.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
5. First-order logic
المؤلف: Smullyan, Raymond M
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S75
6. First-order logic
پدیدآورنده : Smullyan, Raymond M.
موضوع : ، First-order logic
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
7. Godel's incompleteness theorems
المؤلف: / Raymond M. Smullyan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
8. Godel's incompleteness theorems
المؤلف: Raymond M. Smullyan
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Godel's theorem
9. Godel's incompleteness theorems
المؤلف: / Raymond M. Smullyan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
10. Godel's incompleteness theorems
المؤلف: / Raymond M. Smullyan
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Godel's theorem
رده :
QA9
.
65
.
S69
1992
11. Recursion theory for metamathematics
المؤلف: Smullyan, Raymond M.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
12. Satan, Cantor, and infinity
المؤلف: Smullyan, Raymond M.
المکتبة: (قم)
موضوع:
رده :
QA
95
.
S5
1992
13. Satan, Cantor, and infinity, and other mind-boggling puzzles
المؤلف: Smullyan, Raymond M.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S6S2
14. Satan, Cantor, and infinity : and other mind-boggling puzzles
المؤلف: Smullyan, Raymond M.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematical recreations,، Godel's theorem
رده :
QA
95
.
S5
1992
15. Theory of formal systems
المؤلف: Smullyan, Raymond M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
16. This book needs no title :
المؤلف: by Raymond M. Smullyan
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Paradoxes,Philosophical recreations
رده :
PN6361
.
S6
17. To mock a mocking bird:and other logic puzzles including an
المؤلف: SMULLYAN,RAYMOND M
المکتبة: (طهران)
موضوع: PHILOSOPHICAL RECREATIONS , PUZZLES , LOGIC
رده :
GV
1507
.
P43
S36
1985
18. To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic
المؤلف: Smullyan, Raymond M.
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: ، Philosophical recreations,، Logic puzzles
رده :
GV
1507
.
P43
S68
1990
19. What is the name of this book? :
المؤلف: Raymond M. Smullyan
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic puzzles
رده :
GV1493
.
S63
2011
20. What is the name of this book? :
المؤلف: Raymond M. Smullyan
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
